Designing Secure Service Workflows in BPEL

This paper presents an approach that we have developed to support the design of secure service based applications in BPEL. The approach is based on the use of secure service composition patterns, which are proven to preserve composition level security properties if the services that are composed according to the pattern satisfy other properties individually. The secure service composition patterns are used for two purposes: (a) to analyse whether a given workflow fragment satisfies a given security property, and (b) to generate com-positions of services that could substitute for individual services within the workflow that cause the violation of the security properties. Our approach has been implemented in a tool that is based on Eclipse BPEL Designer

New ‘stimuli-enriched’ laboratory bioassay used to identify improved botanical repellent treatment, Lem-ocimum, to control the stored-grain pest Tribolium castaneum

A laboratory study of Tribolium castaneum, a major pest of stored grain, was conducted to develop a more efficient and effective ‘choice’ bioassay for identification of new repellent botanical treatments. Standard bioassays to test the repellency of candidate plants include pit-fall traps and open arena choice tests, environments lacking in some of the most important natural stimuli that guide the movement of food-searching beetles, e.g., 1) materials they can burrow through, which stimulate ‘positive thigmotaxis’, 2) a range of light and dark areas, which stimulate ‘negative phototaxis’ and 3) three-dimensional habitats, which stimulate ‘positive geotaxis.’ The lack of these stimuli can lead to two common problems; ‘low efficiency’ (high proportion of beetles remain in the area that surrounds treatments without making a ‘choice’), and ‘low efficacy’ (high variability in proportions found in control and treated samples). The new ‘stimuli-enriched’ bioassay, which included all three of the above stimuli, was significantly more efficient (P < 0.0001) and effective than three standard bioassays. The stimuli-enriched bioassay was used to compare the repellency of four candidate plants; Ocimum basilicum (Sweet Basil) and Cymbopogon nardus (Lemongrass) were significantly more repellent than Vernonia amygdalina or Nauclea diderrichii (Tukey Contrasts; P < 0.01). A novel method of applying repellent material (a paste of repellent plant is applied between the layers of double bagged grain) was tested on the most promising repellent plants materials; a combination of C. nardus and O. basilicum (‘Lem-ocimum’) at 0.5% w/w of each was significantly more effective than O. basilicum on its own (Tukey Contrasts; P < 0.05). These results show that the stimuli-enriched bioassay provides more consistent and accurate assessments than the standard bioassays of the repellency of candidate botanicals, and that Lem-ocimum treated double-bags are a promising new method of protecting sorghum from T. castaneum

Differencing UML models: A domain-specific vs. a domain-agnostic method

10.1007/978-3-642-35992-7_4Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7680 LNCS159-19

Neuropsychopharmacology

Repetitive transcranial magnetic stimulation (rTMS) has been found to exert modest to substantial antidepressant effects in the majority of prior clinical studies. As effect sizes and stimulation conditions have varied greatly, controversy persists regarding effective stimulation parameters (e.g. intensity, frequcncy, localization). In the present controlled study, we investigated whether the antidepressant efficacy of rTMS may be related to the stimulation intensity applied. Thirty-one patients suffering from a pharmacotherapy-resistant major depressive episode were randomly assigned to three treatment groups receiving rTMS at different stimulation intensities: (1) intensity at the individual motor threshold (MT); (2) 90% subthreshold intensity; and (3) low intensity of standard sham rTMS. Each patient underwent 10 sessions of 10 Hz rTMS with 1500 stimuli/day over the left dorsolateral prefrontal cortex. Improvement of depressive symptoms after rTMS significantly increased with stimulation intensity across the three groups. A 30% to 33% reduction of baseline depression scores was observed after rTMS at MT intensity. Similarly, groups differed significantly regarding the clinical course after rTMS with the lowest number of antidepressant interventions and the shortest hospital stay in the MT intensity group. These findings support the hypothesis of a relationship between stimulation intensity of rTMS and its antidepressant effica

Acné (traitements et conséquences psychologiques)

AIX-MARSEILLE2-BU Pharmacie (130552105) / SudocSudocFranceF